翻訳と辞書
Words near each other
・ "O" Is for Outlaw
・ "O"-Jung.Ban.Hap.
・ "Ode-to-Napoleon" hexachord
・ "Oh Yeah!" Live
・ "Our Contemporary" regional art exhibition (Leningrad, 1975)
・ "P" Is for Peril
・ "Pimpernel" Smith
・ "Polish death camp" controversy
・ "Pro knigi" ("About books")
・ "Prosopa" Greek Television Awards
・ "Pussy Cats" Starring the Walkmen
・ "Q" Is for Quarry
・ "R" Is for Ricochet
・ "R" The King (2016 film)
・ "Rags" Ragland
・ ! (album)
・ ! (disambiguation)
・ !!
・ !!!
・ !!! (album)
・ !!Destroy-Oh-Boy!!
・ !Action Pact!
・ !Arriba! La Pachanga
・ !Hero
・ !Hero (album)
・ !Kung language
・ !Oka Tokat
・ !PAUS3
・ !T.O.O.H.!
・ !Women Art Revolution


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

history of logic : ウィキペディア英語版
history of logic

The history of logic is the study of the development of the science of valid inference (logic). Formal logic was developed in ancient times in China, India, and Greece. Greek logic, particularly Aristotelian logic, found wide application and acceptance in science and mathematics.
Aristotle's logic was further developed by Islamic and Christian philosophers in the Middle Ages, reaching a high point in the mid-fourteenth century. The period between the fourteenth century and the beginning of the nineteenth century was largely one of decline and neglect, and is regarded as barren by at least one historian of logic.〔Oxford Companion p. 498; Bochenski, Part I Introduction, ''passim''〕
Logic was revived in the mid-nineteenth century, at the beginning of a revolutionary period when the subject developed into a rigorous and formalistic discipline whose exemplar was the exact method of proof used in mathematics. The development of the modern "symbolic" or "mathematical" logic during this period is the most significant in the two-thousand-year history of logic, and is arguably one of the most important and remarkable events in human intellectual history.〔Oxford Companion p. 500〕
Progress in mathematical logic in the first few decades of the twentieth century, particularly arising from the work of Gödel and Tarski, had a significant impact on analytic philosophy and philosophical logic, particularly from the 1950s onwards, in subjects such as modal logic, temporal logic, deontic logic, and relevance logic.
==Prehistory of logic==
Valid reasoning has been employed in all periods of human history. However, logic studies the ''principles'' of valid reasoning, inference and demonstration. It is probable that the idea of demonstrating a conclusion first arose in connection with geometry, which originally meant the same as "land measurement".〔Kneale, p. 2〕 In particular, the ancient Egyptians had empirically discovered some truths of geometry, such as the formula for the volume of a truncated pyramid.〔Kneale p. 3〕
Another origin can be seen in Babylonia. Esagil-kin-apli's medical ''Diagnostic Handbook'' in the 11th century BC was based on a logical set of axioms and assumptions,〔H. F. J. Horstmanshoff, Marten Stol, Cornelis Tilburg (2004), ''Magic and Rationality in Ancient Near Eastern and Graeco-Roman Medicine'', p. 99, Brill Publishers, ISBN 90-04-13666-5.〕 while Babylonian astronomers in the 8th and 7th centuries BC employed an internal logic within their predictive planetary systems, an important contribution to the philosophy of science.〔D. Brown (2000), ''Mesopotamian Planetary Astronomy-Astrology '', Styx Publications, ISBN 90-5693-036-2.〕

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「history of logic」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.